Truncated branch and bound achieves efficient constraint-based genetic design

Truncated branch and bound achieves efficient constraint-based genetic design

MOTIVATION Computer-aided genetic design is a promising approach to a core problem of metabolic engineering-that of identifying genetic manipulation strategies that result in engineered strains with favorable product accumulation. This approach has proved to be effective for organisms including Escherichia coli and Saccharomyces cerevisiae, allowing for rapid, rational design of engineered stra...

Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound

The main characteristic of any constraint solver is Constraint propagation. Then it is very important to be able to manage constraint propagation as efficiently as possible, we present a hybrid solver based on a Branch and Bound algorithm combined with constraint propagation to reduce the search space. Based on some observations of the solving process constraint propagation is triggered by some...

Stochastic Constraint Programming with And-Or Branch-and-Bound

Complex multi-stage decision making problems often involve uncertainty, for example, regarding demand or processing times. Stochastic constraint programming was proposed as a way to formulate and solve such decision problems, involving arbitrary constraints over both decision and random variables. What stochastic constraint programming currently lacks is support for the use of factorized probab...

Planning as Branch and Bound: A Constraint Programming Implementation

Branching and lower bounds are two key notions in heuristic search and combinatorial optimization. Branching refers to the way the space of solutions is searched, while lower bounds refer to approximate cost measures used for focusing and pruning the search. In AI Planning, admissible heuristics or lower bounds have received considerable attention and most current optimal planners use them, eit...

Constraint Optimization Techniques for MultiObjective Branch and Bound Search